/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_NORMAL_BACKWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_NORMAL_BACKWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_normal_backwards_rival_checkpoints[] = {
    checkpoint(156, 602, 3.14135),
    checkpoint(156, 605, 3.14135),
    checkpoint(156, 608, 3.14135),
    checkpoint(156, 611, 3.14135),
    checkpoint(156, 614, 3.14135),
    checkpoint(156, 617, 3.14135),
    checkpoint(156, 619, 3.13964),
    checkpoint(156, 622, 3.13647),
    checkpoint(156, 625, 3.13183),
    checkpoint(156, 628, 3.12573),
    checkpoint(156, 631, 3.11840),
    checkpoint(156, 634, 3.10986),
    checkpoint(156, 636, 3.10009),
    checkpoint(156, 639, 3.08935),
    checkpoint(156, 642, 3.07763),
    checkpoint(156, 645, 3.06494),
    checkpoint(156, 648, 3.05126),
    checkpoint(156, 651, 3.03662),
    checkpoint(156, 654, 3.02124),
    checkpoint(156, 657, 3.00512),
    checkpoint(156, 660, 2.98828),
    checkpoint(156, 662, 2.97070),
    checkpoint(156, 665, 2.95239),
    checkpoint(156, 668, 2.93334),
    checkpoint(157, 671, 2.91357),
    checkpoint(157, 674, 2.89331),
    checkpoint(157, 677, 2.87255),
    checkpoint(157, 680, 2.85131),
    checkpoint(158, 683, 2.82958),
    checkpoint(158, 685, 2.80737),
    checkpoint(158, 688, 2.78466),
    checkpoint(159, 691, 2.76318),
    checkpoint(159, 694, 2.74291),
    checkpoint(160, 697, 2.72387),
    checkpoint(160, 700, 2.70581),
    checkpoint(161, 703, 2.68872),
    checkpoint(162, 705, 2.67260),
    checkpoint(162, 708, 2.65747),
    checkpoint(163, 711, 2.64331),
    checkpoint(164, 714, 2.62988),
    checkpoint(164, 717, 2.61718),
    checkpoint(165, 719, 2.60522),
    checkpoint(166, 722, 2.59399),
    checkpoint(167, 725, 2.58349),
    checkpoint(168, 728, 2.57373),
    checkpoint(169, 730, 2.56469),
    checkpoint(170, 733, 2.55444),
    checkpoint(171, 736, 2.54321),
    checkpoint(172, 738, 2.53100),
    checkpoint(173, 741, 2.51782),
    checkpoint(174, 744, 2.50366),
    checkpoint(175, 746, 2.48852),
    checkpoint(176, 749, 2.47265),
    checkpoint(177, 751, 2.45605),
    checkpoint(179, 754, 2.43872),
    checkpoint(180, 757, 2.42065),
    checkpoint(181, 759, 2.40185),
    checkpoint(183, 762, 2.38232),
    checkpoint(184, 764, 2.36401),
    checkpoint(185, 767, 2.34667),
    checkpoint(187, 769, 2.33032),
    checkpoint(188, 772, 2.31494),
    checkpoint(190, 774, 2.30053),
    checkpoint(191, 776, 2.28686),
    checkpoint(193, 779, 2.27392),
    checkpoint(195, 781, 2.26171),
    checkpoint(196, 783, 2.25024),
    checkpoint(198, 786, 2.23950),
    checkpoint(200, 788, 2.22949),
    checkpoint(202, 790, 2.22021),
    checkpoint(203, 792, 2.21142),
    checkpoint(205, 795, 2.20141),
    checkpoint(207, 797, 2.19042),
    checkpoint(209, 799, 2.17846),
    checkpoint(211, 801, 2.16552),
    checkpoint(213, 803, 2.15161),
    checkpoint(215, 805, 2.13671),
    checkpoint(217, 807, 2.12109),
    checkpoint(219, 809, 2.10473),
    checkpoint(221, 811, 2.08764),
    checkpoint(223, 813, 2.06982),
    checkpoint(225, 815, 2.05126),
    checkpoint(227, 817, 2.03198),
    checkpoint(229, 819, 2.01367),
    checkpoint(231, 821, 1.99633),
    checkpoint(234, 823, 1.97998),
    checkpoint(236, 824, 1.96459),
    checkpoint(238, 826, 1.95019),
    checkpoint(240, 828, 1.93652),
    checkpoint(243, 829, 1.92358),
    checkpoint(245, 831, 1.91137),
    checkpoint(247, 833, 1.89990),
    checkpoint(250, 834, 1.88745),
    checkpoint(252, 836, 1.87402),
    checkpoint(255, 837, 1.85961),
    checkpoint(257, 839, 1.84423),
    checkpoint(260, 840, 1.82812),
    checkpoint(262, 842, 1.81127),
    checkpoint(265, 843, 1.79370),
    checkpoint(267, 844, 1.77539),
    checkpoint(270, 846, 1.75805),
    checkpoint(272, 847, 1.74169),
    checkpoint(275, 848, 1.72631),
    checkpoint(277, 849, 1.71191),
    checkpoint(280, 850, 1.69824),
    checkpoint(283, 851, 1.68530),
    checkpoint(285, 852, 1.67309),
    checkpoint(288, 853, 1.66162),
    checkpoint(291, 854, 1.65087),
    checkpoint(293, 855, 1.64086),
    checkpoint(296, 856, 1.63159),
    checkpoint(299, 857, 1.62280),
    checkpoint(301, 858, 1.61450),
    checkpoint(304, 859, 1.60498),
    checkpoint(307, 859, 1.59423),
    checkpoint(310, 860, 1.58251),
    checkpoint(312, 861, 1.56982),
    checkpoint(315, 861, 1.55615),
    checkpoint(318, 862, 1.54150),
    checkpoint(321, 863, 1.52612),
    checkpoint(324, 863, 1.51000),
    checkpoint(326, 864, 1.49316),
    checkpoint(329, 864, 1.47558),
    checkpoint(332, 864, 1.45727),
    checkpoint(335, 865, 1.43823),
    checkpoint(338, 865, 1.41845),
    checkpoint(341, 865, 1.39819),
    checkpoint(343, 866, 1.37744),
    checkpoint(346, 866, 1.35620),
    checkpoint(349, 866, 1.33447),
    checkpoint(352, 866, 1.31225),
    checkpoint(355, 866, 1.28955),
    checkpoint(358, 866, 1.26635),
    checkpoint(360, 866, 1.24267),
    checkpoint(363, 866, 1.21850),
    checkpoint(366, 866, 1.19384),
    checkpoint(369, 866, 1.16894),
    checkpoint(372, 866, 1.14379),
    checkpoint(375, 865, 1.12011),
    checkpoint(377, 865, 1.09765),
    checkpoint(380, 865, 1.07641),
    checkpoint(383, 864, 1.05639),
    checkpoint(386, 864, 1.03759),
    checkpoint(388, 863, 1.01977),
    checkpoint(391, 862, 1.00292),
    checkpoint(394, 862, 0.98706),
    checkpoint(397, 861, 0.97216),
    checkpoint(399, 860, 0.95825),
    checkpoint(402, 860, 0.94677),
    checkpoint(405, 859, 0.93774),
    checkpoint(407, 858, 0.93090),
    checkpoint(410, 857, 0.92626),
    checkpoint(412, 856, 0.92358),
    checkpoint(415, 855, 0.92285),
    checkpoint(418, 854, 0.92407),
    checkpoint(420, 853, 0.92675),
    checkpoint(423, 852, 0.93090),
    checkpoint(425, 850, 0.93652),
    checkpoint(428, 849, 0.94335),
    checkpoint(431, 848, 0.95141),
    checkpoint(433, 847, 0.96069),
    checkpoint(436, 845, 0.97119),
    checkpoint(438, 844, 0.98266),
    checkpoint(441, 843, 0.99511),
    checkpoint(443, 842, 1.00854),
    checkpoint(446, 840, 1.02294),
    checkpoint(448, 839, 1.03833),
    checkpoint(451, 838, 1.05444),
    checkpoint(453, 836, 1.07128),
    checkpoint(456, 835, 1.08886),
    checkpoint(458, 834, 1.10717),
    checkpoint(461, 832, 1.12622),
    checkpoint(464, 831, 1.14599),
    checkpoint(466, 830, 1.16625),
    checkpoint(469, 828, 1.18701),
    checkpoint(471, 827, 1.20825),
    checkpoint(474, 826, 1.22998),
    checkpoint(476, 824, 1.25219),
    checkpoint(479, 823, 1.27490),
    checkpoint(482, 822, 1.29809),
    checkpoint(484, 821, 1.32006),
    checkpoint(487, 820, 1.34082),
    checkpoint(490, 818, 1.36035),
    checkpoint(492, 817, 1.37866),
    checkpoint(495, 816, 1.39599),
    checkpoint(498, 815, 1.41235),
    checkpoint(500, 814, 1.42944),
    checkpoint(503, 813, 1.44726),
    checkpoint(506, 812, 1.46582),
    checkpoint(509, 811, 1.48510),
    checkpoint(511, 810, 1.50512),
    checkpoint(514, 810, 1.52563),
    checkpoint(517, 809, 1.54663),
    checkpoint(520, 808, 1.56811),
    checkpoint(522, 807, 1.59008),
    checkpoint(525, 807, 1.61254),
    checkpoint(528, 806, 1.63549),
    checkpoint(531, 805, 1.65893),
    checkpoint(534, 805, 1.68286),
    checkpoint(536, 804, 1.70727),
    checkpoint(539, 804, 1.73193),
    checkpoint(542, 803, 1.75512),
    checkpoint(545, 803, 1.77709),
    checkpoint(548, 803, 1.79785),
    checkpoint(551, 803, 1.81738),
    checkpoint(553, 802, 1.83569),
    checkpoint(556, 802, 1.85302),
    checkpoint(559, 802, 1.86938),
    checkpoint(562, 802, 1.88476),
    checkpoint(565, 802, 1.89916),
    checkpoint(567, 802, 1.91284),
    checkpoint(570, 802, 1.92749),
    checkpoint(573, 802, 1.94287),
    checkpoint(576, 803, 1.95898),
    checkpoint(579, 803, 1.97583),
    checkpoint(582, 803, 1.99340),
    checkpoint(584, 804, 2.01171),
    checkpoint(587, 804, 2.02905),
    checkpoint(590, 804, 2.04541),
    checkpoint(593, 805, 2.06079),
    checkpoint(595, 805, 2.07519),
    checkpoint(598, 806, 2.08886),
    checkpoint(601, 807, 2.10180),
    checkpoint(604, 807, 2.11401),
    checkpoint(606, 808, 2.12548),
    checkpoint(609, 809, 2.13623),
    checkpoint(612, 810, 2.14624),
    checkpoint(614, 810, 2.15551),
    checkpoint(617, 811, 2.16430),
    checkpoint(620, 812, 2.17260),
    checkpoint(622, 813, 2.17871),
    checkpoint(625, 814, 2.18261),
    checkpoint(628, 815, 2.18457),
    checkpoint(630, 816, 2.18457),
    checkpoint(633, 817, 2.18286),
    checkpoint(636, 818, 2.17968),
    checkpoint(638, 820, 2.17504),
    checkpoint(641, 821, 2.16894),
    checkpoint(643, 822, 2.16162),
    checkpoint(646, 823, 2.15307),
    checkpoint(649, 825, 2.14331),
    checkpoint(651, 826, 2.13256),
    checkpoint(654, 827, 2.12084),
    checkpoint(656, 828, 2.10815),
    checkpoint(659, 830, 2.09448),
    checkpoint(661, 831, 2.07983),
    checkpoint(664, 832, 2.06445),
    checkpoint(666, 834, 2.04833),
    checkpoint(669, 835, 2.03149),
    checkpoint(672, 836, 2.01391),
    checkpoint(674, 838, 1.99560),
    checkpoint(677, 839, 1.97656),
    checkpoint(679, 840, 1.95678),
    checkpoint(682, 841, 1.93652),
    checkpoint(685, 843, 1.91577),
    checkpoint(687, 844, 1.89453),
    checkpoint(690, 845, 1.87280),
    checkpoint(693, 846, 1.85058),
    checkpoint(695, 848, 1.82788),
    checkpoint(698, 849, 1.80468),
    checkpoint(701, 850, 1.78100),
    checkpoint(703, 851, 1.75683),
    checkpoint(706, 852, 1.73217),
    checkpoint(709, 853, 1.70727),
    checkpoint(711, 854, 1.68212),
    checkpoint(714, 855, 1.65673),
    checkpoint(717, 856, 1.63110),
    checkpoint(719, 857, 1.60522),
    checkpoint(722, 858, 1.57910),
    checkpoint(725, 858, 1.55273),
    checkpoint(728, 859, 1.52612),
    checkpoint(731, 860, 1.49926),
    checkpoint(733, 861, 1.47216),
    checkpoint(736, 861, 1.44482),
    checkpoint(739, 862, 1.41723),
    checkpoint(742, 862, 1.38940),
    checkpoint(745, 863, 1.36132),
    checkpoint(747, 863, 1.33300),
    checkpoint(750, 863, 1.30444),
    checkpoint(753, 864, 1.27563),
    checkpoint(756, 864, 1.24658),
    checkpoint(759, 864, 1.21728),
    checkpoint(761, 864, 1.18798),
    checkpoint(764, 864, 1.15869),
    checkpoint(767, 864, 1.12939),
    checkpoint(770, 864, 1.10009),
    checkpoint(772, 864, 1.07080),
    checkpoint(775, 863, 1.04150),
    checkpoint(778, 863, 1.01220),
    checkpoint(781, 863, 0.98291),
    checkpoint(783, 862, 0.95361),
    checkpoint(786, 862, 0.92431),
    checkpoint(789, 861, 0.89501),
    checkpoint(791, 861, 0.86572),
    checkpoint(794, 860, 0.83642),
    checkpoint(797, 859, 0.80712),
    checkpoint(799, 858, 0.77783),
    checkpoint(802, 857, 0.74853),
    checkpoint(804, 856, 0.71923),
    checkpoint(807, 855, 0.68994),
    checkpoint(809, 854, 0.66064),
    checkpoint(811, 853, 0.63134),
    checkpoint(814, 852, 0.60205),
    checkpoint(816, 851, 0.57275),
    checkpoint(818, 849, 0.54345),
    checkpoint(821, 848, 0.51416),
    checkpoint(823, 847, 0.48486),
    checkpoint(825, 845, 0.45556),
    checkpoint(827, 843, 0.42626),
    checkpoint(829, 842, 0.39697),
    checkpoint(831, 840, 0.36767),
    checkpoint(833, 838, 0.33837),
    checkpoint(835, 837, 0.30908),
    checkpoint(837, 835, 0.27978),
    checkpoint(839, 833, 0.25048),
    checkpoint(840, 831, 0.22119),
    checkpoint(842, 829, 0.19189),
    checkpoint(844, 827, 0.16259),
    checkpoint(845, 825, 0.13330),
    checkpoint(847, 823, 0.10400),
    checkpoint(848, 821, 0.07470),
    checkpoint(850, 818, 0.04541),
    checkpoint(851, 816, 0.01611),
    checkpoint(852, 814, 6.26977),
    checkpoint(853, 812, 6.24218),
    checkpoint(854, 809, 6.21606),
    checkpoint(855, 807, 6.19140),
    checkpoint(856, 804, 6.16821),
    checkpoint(857, 802, 6.14624),
    checkpoint(858, 800, 6.12548),
    checkpoint(859, 797, 6.10595),
    checkpoint(859, 795, 6.08764),
    checkpoint(860, 792, 6.07031),
    checkpoint(861, 790, 6.05395),
    checkpoint(861, 787, 6.03857),
    checkpoint(862, 785, 6.02416),
    checkpoint(862, 782, 6.01049),
    checkpoint(862, 779, 5.99755),
    checkpoint(863, 777, 5.98535),
    checkpoint(863, 774, 5.97387),
    checkpoint(863, 772, 5.96313),
    checkpoint(863, 769, 5.95312),
    checkpoint(863, 766, 5.94384),
    checkpoint(863, 764, 5.93505),
    checkpoint(863, 761, 5.92675),
    checkpoint(863, 758, 5.91723),
    checkpoint(863, 756, 5.90649),
    checkpoint(862, 753, 5.89477),
    checkpoint(862, 750, 5.88208),
    checkpoint(862, 748, 5.86840),
    checkpoint(861, 745, 5.85375),
    checkpoint(861, 742, 5.83837),
    checkpoint(861, 740, 5.82226),
    checkpoint(860, 737, 5.80541),
    checkpoint(859, 734, 5.78784),
    checkpoint(859, 732, 5.76953),
    checkpoint(858, 729, 5.75048),
    checkpoint(858, 726, 5.73071),
    checkpoint(857, 724, 5.71044),
    checkpoint(856, 721, 5.68969),
    checkpoint(855, 719, 5.66845),
    checkpoint(854, 716, 5.64672),
    checkpoint(854, 713, 5.62451),
    checkpoint(853, 711, 5.60180),
    checkpoint(852, 708, 5.58032),
    checkpoint(851, 706, 5.56005),
    checkpoint(849, 703, 5.54101),
    checkpoint(848, 701, 5.52294),
    checkpoint(847, 698, 5.50585),
    checkpoint(846, 696, 5.48974),
    checkpoint(845, 693, 5.47290),
    checkpoint(843, 691, 5.45532),
    checkpoint(842, 689, 5.43701),
    checkpoint(840, 686, 5.41796),
    checkpoint(839, 684, 5.39819),
    checkpoint(838, 681, 5.37792),
    checkpoint(836, 679, 5.35717),
    checkpoint(834, 677, 5.33593),
    checkpoint(833, 675, 5.31420),
    checkpoint(831, 673, 5.29199),
    checkpoint(829, 670, 5.26928),
    checkpoint(828, 668, 5.24609),
    checkpoint(826, 666, 5.22241),
    checkpoint(824, 664, 5.19824),
    checkpoint(822, 662, 5.17358),
    checkpoint(820, 660, 5.14868),
    checkpoint(818, 658, 5.12353),
    checkpoint(816, 656, 5.09814),
    checkpoint(814, 654, 5.07250),
    checkpoint(812, 653, 5.04663),
    checkpoint(810, 651, 5.02050),
    checkpoint(808, 649, 4.99584),
    checkpoint(806, 647, 4.97265),
    checkpoint(804, 646, 4.95068),
    checkpoint(801, 644, 4.92993),
    checkpoint(799, 643, 4.91040),
    checkpoint(797, 641, 4.89208),
    checkpoint(794, 640, 4.87475),
    checkpoint(792, 638, 4.85839),
    checkpoint(790, 637, 4.84130),
    checkpoint(787, 636, 4.82348),
    checkpoint(785, 635, 4.80493),
    checkpoint(782, 633, 4.78564),
    checkpoint(780, 632, 4.76562),
    checkpoint(777, 631, 4.74511),
    checkpoint(775, 630, 4.72583),
    checkpoint(772, 629, 4.70751),
    checkpoint(770, 628, 4.69018),
    checkpoint(767, 627, 4.67382),
    checkpoint(765, 627, 4.65844),
    checkpoint(762, 626, 4.64404),
    checkpoint(759, 625, 4.63037),
    checkpoint(757, 625, 4.61743),
    checkpoint(754, 624, 4.60522),
    checkpoint(751, 623, 4.59375),
    checkpoint(749, 623, 4.58300),
    checkpoint(746, 622, 4.57299),
    checkpoint(743, 622, 4.56372),
    checkpoint(740, 622, 4.55493),
    checkpoint(738, 621, 4.54663),
    checkpoint(735, 621, 4.53881),
    checkpoint(732, 621, 4.53149),
    checkpoint(729, 620, 4.52465),
    checkpoint(727, 620, 4.51831),
    checkpoint(724, 620, 4.51245),
    checkpoint(721, 620, 4.50708),
    checkpoint(718, 620, 4.50219),
    checkpoint(715, 620, 4.49780),
    checkpoint(713, 620, 4.49365),
    checkpoint(710, 620, 4.48974),
    checkpoint(707, 620, 4.48608),
    checkpoint(704, 620, 4.48266),
    checkpoint(701, 620, 4.47949),
    checkpoint(698, 620, 4.47656),
    checkpoint(696, 621, 4.47387),
    checkpoint(693, 621, 4.47143),
    checkpoint(690, 621, 4.46923),
    checkpoint(687, 621, 4.46728),
    checkpoint(684, 622, 4.46557),
    checkpoint(681, 622, 4.46411),
    checkpoint(679, 622, 4.46289),
    checkpoint(676, 623, 4.46191),
    checkpoint(673, 623, 4.46118),
    checkpoint(670, 623, 4.46069),
    checkpoint(667, 624, 4.46044),
    checkpoint(664, 624, 4.46044),
    checkpoint(661, 625, 4.46044),
    checkpoint(659, 625, 4.46044),
    checkpoint(656, 626, 4.46044),
    checkpoint(653, 626, 4.46044),
    checkpoint(650, 627, 4.46044),
    checkpoint(647, 627, 4.46044),
    checkpoint(644, 628, 4.46044),
    checkpoint(641, 628, 4.46044),
    checkpoint(639, 629, 4.46044),
    checkpoint(636, 629, 4.46215),
    checkpoint(633, 630, 4.46533),
    checkpoint(630, 630, 4.46997),
    checkpoint(627, 631, 4.47607),
    checkpoint(624, 631, 4.48339),
    checkpoint(621, 632, 4.49194),
    checkpoint(618, 633, 4.50170),
    checkpoint(616, 633, 4.51245),
    checkpoint(613, 634, 4.52416),
    checkpoint(610, 634, 4.53515),
    checkpoint(607, 635, 4.54541),
    checkpoint(604, 636, 4.55493),
    checkpoint(601, 636, 4.56396),
    checkpoint(598, 637, 4.57250),
    checkpoint(595, 637, 4.58056),
    checkpoint(592, 638, 4.58984),
    checkpoint(589, 638, 4.60034),
    checkpoint(587, 639, 4.61181),
    checkpoint(584, 639, 4.62426),
    checkpoint(581, 640, 4.63769),
    checkpoint(578, 640, 4.65209),
    checkpoint(575, 641, 4.66748),
    checkpoint(572, 641, 4.68359),
    checkpoint(569, 642, 4.70043),
    checkpoint(566, 642, 4.71801),
    checkpoint(563, 642, 4.73632),
    checkpoint(560, 643, 4.75366),
    checkpoint(557, 643, 4.77001),
    checkpoint(555, 643, 4.78540),
    checkpoint(552, 644, 4.79980),
    checkpoint(549, 644, 4.81347),
    checkpoint(546, 644, 4.82641),
    checkpoint(543, 644, 4.83862),
    checkpoint(540, 644, 4.85009),
    checkpoint(537, 644, 4.86083),
    checkpoint(534, 644, 4.87084),
    checkpoint(531, 645, 4.88183),
    checkpoint(528, 645, 4.89379),
    checkpoint(525, 645, 4.90673),
    checkpoint(522, 645, 4.92065),
    checkpoint(519, 644, 4.93554),
    checkpoint(517, 644, 4.95117),
    checkpoint(514, 644, 4.96752),
    checkpoint(511, 644, 4.98461),
    checkpoint(508, 644, 5.00244),
    checkpoint(505, 644, 5.02099),
    checkpoint(502, 643, 5.04028),
    checkpoint(499, 643, 5.06030),
    checkpoint(496, 643, 5.08081),
    checkpoint(493, 642, 5.10180),
    checkpoint(490, 642, 5.12329),
    checkpoint(488, 642, 5.14526),
    checkpoint(485, 641, 5.16772),
    checkpoint(482, 641, 5.18896),
    checkpoint(479, 640, 5.20898),
    checkpoint(476, 639, 5.22778),
    checkpoint(474, 639, 5.24560),
    checkpoint(471, 638, 5.26245),
    checkpoint(468, 637, 5.27832),
    checkpoint(465, 636, 5.29321),
    checkpoint(462, 636, 5.30712),
    checkpoint(460, 635, 5.32031),
    checkpoint(457, 634, 5.33276),
    checkpoint(454, 633, 5.34448),
    checkpoint(452, 632, 5.35546),
    checkpoint(449, 631, 5.36743),
    checkpoint(446, 630, 5.38037),
    checkpoint(444, 628, 5.39428),
    checkpoint(441, 627, 5.40917),
    checkpoint(439, 626, 5.42480),
    checkpoint(436, 625, 5.44116),
    checkpoint(433, 624, 5.45825),
    checkpoint(431, 622, 5.47607),
    checkpoint(428, 621, 5.49462),
    checkpoint(426, 620, 5.51391),
    checkpoint(424, 618, 5.53393),
    checkpoint(421, 617, 5.55273),
    checkpoint(419, 615, 5.57055),
    checkpoint(416, 614, 5.58740),
    checkpoint(414, 612, 5.60327),
    checkpoint(412, 610, 5.61816),
    checkpoint(409, 609, 5.63208),
    checkpoint(407, 607, 5.64697),
    checkpoint(405, 605, 5.66259),
    checkpoint(403, 604, 5.67895),
    checkpoint(400, 602, 5.69604),
    checkpoint(398, 600, 5.71386),
    checkpoint(396, 598, 5.73242),
    checkpoint(394, 596, 5.75170),
    checkpoint(392, 594, 5.77172),
    checkpoint(390, 592, 5.79223),
    checkpoint(388, 590, 5.81323),
    checkpoint(386, 588, 5.83471),
    checkpoint(384, 586, 5.85668),
    checkpoint(382, 584, 5.87915),
    checkpoint(380, 582, 5.90209),
    checkpoint(379, 580, 5.92553),
    checkpoint(377, 578, 5.94946),
    checkpoint(375, 575, 5.97387),
    checkpoint(373, 573, 5.99853),
    checkpoint(372, 571, 6.02343),
    checkpoint(370, 568, 6.04687),
    checkpoint(369, 566, 6.06909),
    checkpoint(367, 564, 6.09008),
    checkpoint(366, 561, 6.10986),
    checkpoint(364, 559, 6.12841),
    checkpoint(363, 557, 6.14599),
    checkpoint(362, 554, 6.16430),
    checkpoint(360, 552, 6.18334),
    checkpoint(359, 549, 6.20312),
    checkpoint(358, 547, 6.22338),
    checkpoint(357, 544, 6.24414),
    checkpoint(356, 541, 6.26538),
    checkpoint(355, 539, 0.00415),
    checkpoint(354, 536, 0.02636),
    checkpoint(353, 534, 0.04907),
    checkpoint(352, 531, 0.07226),
    checkpoint(352, 528, 0.09594),
    checkpoint(351, 526, 0.12011),
    checkpoint(350, 523, 0.14477),
    checkpoint(350, 520, 0.16967),
    checkpoint(349, 518, 0.19482),
    checkpoint(349, 515, 0.22021),
    checkpoint(348, 512, 0.24584),
    checkpoint(348, 509, 0.27172),
    checkpoint(348, 507, 0.29785),
    checkpoint(347, 504, 0.32421),
    checkpoint(347, 501, 0.35083),
    checkpoint(347, 499, 0.37768),
    checkpoint(347, 496, 0.40478),
    checkpoint(347, 493, 0.43212),
    checkpoint(347, 490, 0.45971),
    checkpoint(347, 488, 0.48754),
    checkpoint(348, 485, 0.51562),
    checkpoint(348, 482, 0.54394),
    checkpoint(348, 480, 0.57250),
    checkpoint(349, 477, 0.60131),
    checkpoint(349, 474, 0.63037),
    checkpoint(350, 472, 0.65966),
    checkpoint(350, 469, 0.68896),
    checkpoint(351, 466, 0.71826),
    checkpoint(352, 464, 0.74755),
    checkpoint(352, 461, 0.77685),
    checkpoint(353, 459, 0.80615),
    checkpoint(354, 456, 0.83544),
    checkpoint(355, 454, 0.86474),
    checkpoint(356, 451, 0.89404),
    checkpoint(357, 449, 0.92333),
    checkpoint(359, 447, 0.95263),
    checkpoint(360, 444, 0.98193),
    checkpoint(361, 442, 1.01123),
    checkpoint(363, 440, 1.04052),
    checkpoint(364, 438, 1.06982),
    checkpoint(365, 435, 1.09741),
    checkpoint(367, 433, 1.12353),
    checkpoint(369, 431, 1.14819),
    checkpoint(370, 429, 1.17138),
    checkpoint(372, 427, 1.19506),
    checkpoint(374, 425, 1.21923),
    checkpoint(376, 423, 1.24389),
    checkpoint(377, 422, 1.26879),
    checkpoint(379, 420, 1.29394),
    checkpoint(381, 418, 1.31933),
    checkpoint(383, 416, 1.34497),
    checkpoint(385, 415, 1.37084),
    checkpoint(387, 413, 1.39697),
    checkpoint(390, 412, 1.42333),
    checkpoint(392, 410, 1.44995),
    checkpoint(394, 409, 1.47680),
    checkpoint(396, 408, 1.50390),
    checkpoint(398, 406, 1.53125),
    checkpoint(401, 405, 1.55883),
    checkpoint(403, 404, 1.58496),
    checkpoint(405, 403, 1.60961),
    checkpoint(408, 402, 1.63281),
    checkpoint(410, 401, 1.65478),
    checkpoint(413, 400, 1.67553),
    checkpoint(415, 399, 1.69506),
    checkpoint(418, 399, 1.71337),
    checkpoint(420, 398, 1.73071),
    checkpoint(423, 397, 1.74707),
    checkpoint(425, 397, 1.76245),
    checkpoint(428, 396, 1.77685),
    checkpoint(430, 396, 1.79052),
    checkpoint(433, 395, 1.80346),
    checkpoint(436, 395, 1.81567),
    checkpoint(438, 395, 1.82714),
    checkpoint(441, 394, 1.83789),
    checkpoint(444, 394, 1.84790),
    checkpoint(446, 394, 1.85717),
    checkpoint(449, 394, 1.86596),
    checkpoint(452, 394, 1.87597),
    checkpoint(454, 394, 1.88696),
    checkpoint(457, 394, 1.89892),
    checkpoint(460, 394, 1.91186),
    checkpoint(462, 394, 1.92578),
    checkpoint(465, 394, 1.94067),
    checkpoint(468, 395, 1.95458),
    checkpoint(470, 395, 1.96777),
    checkpoint(473, 395, 1.98022),
    checkpoint(476, 396, 1.99194),
    checkpoint(479, 396, 2.00292),
    checkpoint(481, 397, 2.01318),
    checkpoint(484, 397, 2.02270),
    checkpoint(487, 398, 2.03173),
    checkpoint(489, 398, 2.04028),
    checkpoint(492, 399, 2.04833),
    checkpoint(495, 399, 2.05761),
    checkpoint(497, 400, 2.06811),
    checkpoint(500, 401, 2.07958),
    checkpoint(503, 402, 2.09204),
    checkpoint(505, 402, 2.10546),
    checkpoint(508, 403, 2.11987),
    checkpoint(511, 404, 2.13525),
    checkpoint(513, 405, 2.15136),
    checkpoint(516, 406, 2.16821),
    checkpoint(519, 407, 2.18579),
    checkpoint(521, 408, 2.20410),
    checkpoint(524, 409, 2.22143),
    checkpoint(526, 410, 2.23779),
    checkpoint(529, 411, 2.25317),
    checkpoint(532, 413, 2.26757),
    checkpoint(534, 414, 2.28125),
    checkpoint(537, 415, 2.29418),
    checkpoint(539, 416, 2.30639),
    checkpoint(542, 418, 2.31787),
    checkpoint(544, 419, 2.32861),
    checkpoint(546, 420, 2.33862),
    checkpoint(549, 422, 2.34790),
    checkpoint(551, 423, 2.35668),
    checkpoint(554, 425, 2.36499),
    checkpoint(556, 426, 2.37280),
    checkpoint(559, 428, 2.38012),
    checkpoint(561, 430, 2.38696),
    checkpoint(563, 431, 2.39331),
    checkpoint(566, 433, 2.39916),
    checkpoint(568, 435, 2.40454),
    checkpoint(570, 436, 2.40771),
    checkpoint(572, 438, 2.40893),
    checkpoint(575, 440, 2.40820),
    checkpoint(577, 441, 2.40600),
    checkpoint(579, 443, 2.40234),
    checkpoint(581, 445, 2.39721),
    checkpoint(584, 447, 2.39086),
    checkpoint(586, 449, 2.38330),
    checkpoint(588, 451, 2.37451),
    checkpoint(590, 453, 2.36450),
    checkpoint(592, 454, 2.35351),
    checkpoint(595, 456, 2.34155),
    checkpoint(597, 458, 2.32861),
    checkpoint(599, 460, 2.31469),
    checkpoint(601, 462, 2.29980),
    checkpoint(603, 464, 2.28417),
    checkpoint(605, 466, 2.26782),
    checkpoint(608, 468, 2.25073),
    checkpoint(610, 470, 2.23291),
    checkpoint(612, 472, 2.21435),
    checkpoint(614, 473, 2.19506),
    checkpoint(616, 475, 2.17504),
    checkpoint(619, 477, 2.15454),
    checkpoint(621, 479, 2.13354),
    checkpoint(623, 481, 2.11206),
    checkpoint(626, 483, 2.09008),
    checkpoint(628, 485, 2.06762),
    checkpoint(630, 486, 2.04467),
    checkpoint(632, 488, 2.02124),
    checkpoint(635, 490, 1.99731),
    checkpoint(637, 491, 1.97290),
    checkpoint(640, 493, 1.94824),
    checkpoint(642, 495, 1.92333),
    checkpoint(644, 496, 1.89819),
    checkpoint(647, 498, 1.87280),
    checkpoint(649, 499, 1.84716),
    checkpoint(652, 501, 1.82128),
    checkpoint(654, 502, 1.79516),
    checkpoint(657, 504, 1.76879),
    checkpoint(659, 505, 1.74218),
    checkpoint(662, 506, 1.71533),
    checkpoint(664, 508, 1.68823),
    checkpoint(667, 509, 1.66088),
    checkpoint(670, 510, 1.63330),
    checkpoint(672, 511, 1.60546),
    checkpoint(675, 512, 1.57739),
    checkpoint(677, 513, 1.54907),
    checkpoint(680, 514, 1.52050),
    checkpoint(683, 515, 1.49169),
    checkpoint(685, 516, 1.46264),
    checkpoint(688, 516, 1.43334),
    checkpoint(691, 517, 1.40405),
    checkpoint(694, 518, 1.37475),
    checkpoint(696, 518, 1.34545),
    checkpoint(699, 519, 1.31616),
    checkpoint(702, 519, 1.28686),
    checkpoint(704, 520, 1.25756),
    checkpoint(707, 520, 1.22827),
    checkpoint(710, 520, 1.19897),
    checkpoint(713, 520, 1.16967),
    checkpoint(715, 520, 1.14038),
    checkpoint(718, 520, 1.11108),
    checkpoint(721, 520, 1.08178),
    checkpoint(724, 520, 1.05249),
    checkpoint(726, 520, 1.02319),
    checkpoint(729, 520, 0.99389),
    checkpoint(732, 520, 0.96459),
    checkpoint(734, 519, 0.93530),
    checkpoint(737, 519, 0.90600),
    checkpoint(739, 518, 0.87841),
    checkpoint(742, 518, 0.85229),
    checkpoint(745, 517, 0.82763),
    checkpoint(747, 516, 0.80444),
    checkpoint(750, 515, 0.78247),
    checkpoint(752, 514, 0.76171),
    checkpoint(755, 513, 0.74218),
    checkpoint(757, 512, 0.72387),
    checkpoint(760, 511, 0.70654),
    checkpoint(762, 510, 0.69018),
    checkpoint(764, 509, 0.67480),
    checkpoint(767, 508, 0.66040),
    checkpoint(769, 507, 0.64672),
    checkpoint(771, 505, 0.63378),
    checkpoint(774, 504, 0.62158),
    checkpoint(776, 502, 0.61010),
    checkpoint(778, 501, 0.59936),
    checkpoint(780, 499, 0.58935),
    checkpoint(782, 498, 0.58007),
    checkpoint(784, 496, 0.57128),
    checkpoint(786, 494, 0.56298),
    checkpoint(789, 493, 0.55517),
    checkpoint(791, 491, 0.54785),
    checkpoint(793, 489, 0.53930),
    checkpoint(795, 487, 0.52954),
    checkpoint(797, 485, 0.51879),
    checkpoint(798, 483, 0.50708),
    checkpoint(800, 481, 0.49438),
    checkpoint(802, 479, 0.48071),
    checkpoint(804, 477, 0.46606),
    checkpoint(806, 475, 0.45068),
    checkpoint(808, 473, 0.43457),
    checkpoint(809, 471, 0.41772),
    checkpoint(811, 469, 0.40014),
    checkpoint(813, 467, 0.38183),
    checkpoint(815, 465, 0.36279),
    checkpoint(816, 462, 0.34301),
    checkpoint(818, 460, 0.32446),
    checkpoint(819, 458, 0.30688),
    checkpoint(821, 456, 0.29028),
    checkpoint(822, 453, 0.27465),
    checkpoint(824, 451, 0.26000),
    checkpoint(825, 448, 0.24633),
    checkpoint(827, 446, 0.23339),
    checkpoint(828, 444, 0.22119),
    checkpoint(829, 441, 0.20971),
    checkpoint(831, 439, 0.19897),
    checkpoint(832, 436, 0.18896),
    checkpoint(833, 434, 0.17968),
    checkpoint(834, 431, 0.17089),
    checkpoint(835, 428, 0.16259),
    checkpoint(836, 426, 0.15478),
    checkpoint(837, 423, 0.14746),
    checkpoint(839, 421, 0.14062),
    checkpoint(840, 418, 0.13256),
    checkpoint(840, 415, 0.12329),
    checkpoint(841, 413, 0.11279),
    checkpoint(842, 410, 0.10131),
    checkpoint(843, 407, 0.08886),
    checkpoint(844, 405, 0.07543),
    checkpoint(845, 402, 0.06103),
    checkpoint(846, 399, 0.04565),
    checkpoint(846, 396, 0.03125),
    checkpoint(847, 394, 0.01757),
    checkpoint(848, 391, 0.00463),
    checkpoint(848, 388, 6.27539),
    checkpoint(849, 385, 6.26391),
    checkpoint(849, 383, 6.25317),
    checkpoint(850, 380, 6.24316),
    checkpoint(851, 377, 6.23388),
    checkpoint(851, 374, 6.22509),
    checkpoint(851, 371, 6.21508),
    checkpoint(852, 369, 6.20410),
    checkpoint(852, 366, 6.19213),
    checkpoint(852, 363, 6.17919),
    checkpoint(853, 360, 6.16528),
    checkpoint(853, 357, 6.15039),
    checkpoint(853, 354, 6.13476),
    checkpoint(853, 351, 6.11840),
    checkpoint(854, 349, 6.10131),
    checkpoint(854, 346, 6.08349),
    checkpoint(854, 343, 6.06494),
    checkpoint(854, 340, 6.04565),
    checkpoint(854, 337, 6.02563),
    checkpoint(854, 334, 6.00512),
    checkpoint(854, 331, 5.98413),
    checkpoint(854, 329, 5.96264),
    checkpoint(853, 326, 5.94067),
    checkpoint(853, 323, 5.91821),
    checkpoint(853, 320, 5.89526),
    checkpoint(853, 317, 5.87182),
    checkpoint(852, 314, 5.84790),
    checkpoint(852, 312, 5.82348),
    checkpoint(851, 309, 5.79882),
    checkpoint(851, 306, 5.77392),
    checkpoint(850, 303, 5.74877),
    checkpoint(850, 301, 5.72509),
    checkpoint(849, 298, 5.70263),
    checkpoint(849, 295, 5.68139),
    checkpoint(848, 292, 5.66137),
    checkpoint(847, 290, 5.64257),
    checkpoint(846, 287, 5.62475),
    checkpoint(845, 284, 5.60620),
    checkpoint(844, 282, 5.58691),
    checkpoint(843, 279, 5.56689),
    checkpoint(842, 276, 5.54638),
    checkpoint(841, 274, 5.52539),
    checkpoint(840, 271, 5.50390),
    checkpoint(839, 269, 5.48193),
    checkpoint(838, 266, 5.45947),
    checkpoint(836, 264, 5.43652),
    checkpoint(835, 261, 5.41308),
    checkpoint(834, 259, 5.39086),
    checkpoint(832, 257, 5.36987),
    checkpoint(831, 254, 5.35009),
    checkpoint(829, 252, 5.33154),
    checkpoint(828, 250, 5.31396),
    checkpoint(826, 247, 5.29736),
    checkpoint(824, 245, 5.28173),
    checkpoint(823, 243, 5.26708),
    checkpoint(821, 241, 5.25341),
    checkpoint(819, 239, 5.24047),
    checkpoint(817, 237, 5.22827),
    checkpoint(815, 235, 5.21679),
    checkpoint(814, 233, 5.20605),
    checkpoint(812, 231, 5.19604),
    checkpoint(810, 229, 5.18676),
    checkpoint(808, 227, 5.17626),
    checkpoint(806, 225, 5.16479),
    checkpoint(804, 223, 5.15234),
    checkpoint(801, 221, 5.13891),
    checkpoint(799, 219, 5.12451),
    checkpoint(797, 218, 5.10913),
    checkpoint(795, 216, 5.09472),
    checkpoint(793, 214, 5.08105),
    checkpoint(790, 213, 5.06811),
    checkpoint(788, 211, 5.05590),
    checkpoint(786, 209, 5.04443),
    checkpoint(784, 208, 5.03369),
    checkpoint(781, 206, 5.02368),
    checkpoint(779, 205, 5.01440),
    checkpoint(776, 203, 5.00561),
    checkpoint(774, 202, 4.99731),
    checkpoint(772, 200, 4.98950),
    checkpoint(769, 199, 4.98217),
    checkpoint(767, 198, 4.97534),
    checkpoint(764, 196, 4.96899),
    checkpoint(762, 195, 4.96313),
    checkpoint(759, 194, 4.95776),
    checkpoint(757, 193, 4.95288),
    checkpoint(754, 191, 4.94848),
    checkpoint(751, 190, 4.94433),
    checkpoint(749, 189, 4.94042),
    checkpoint(746, 188, 4.93676),
    checkpoint(743, 187, 4.93164),
    checkpoint(741, 186, 4.92529),
    checkpoint(738, 185, 4.91772),
    checkpoint(736, 184, 4.90893),
    checkpoint(733, 183, 4.89892),
    checkpoint(730, 182, 4.88793),
    checkpoint(727, 181, 4.87597),
    checkpoint(725, 180, 4.86303),
    checkpoint(722, 179, 4.85083),
    checkpoint(719, 178, 4.83935),
    checkpoint(716, 177, 4.82861),
    checkpoint(714, 176, 4.81860),
    checkpoint(711, 176, 4.80932),
    checkpoint(708, 175, 4.80053),
    checkpoint(705, 174, 4.79223),
    checkpoint(703, 173, 4.78442),
    checkpoint(700, 173, 4.77709),
    checkpoint(697, 172, 4.77026),
    checkpoint(694, 171, 4.76391),
    checkpoint(691, 171, 4.75805),
    checkpoint(688, 170, 4.75268),
    checkpoint(686, 170, 4.74780),
    checkpoint(683, 169, 4.74340),
    checkpoint(680, 169, 4.73925),
    checkpoint(677, 168, 4.73535),
    checkpoint(674, 168, 4.73168),
    checkpoint(671, 167, 4.72827),
    checkpoint(668, 167, 4.72509),
    checkpoint(666, 166, 4.72216),
    checkpoint(663, 166, 4.71948),
    checkpoint(660, 166, 4.71704),
    checkpoint(657, 165, 4.71484),
    checkpoint(654, 165, 4.71289),
    checkpoint(651, 165, 4.71118),
    checkpoint(648, 164, 4.70800),
    checkpoint(645, 164, 4.70336),
    checkpoint(642, 164, 4.69726),
    checkpoint(639, 163, 4.68994),
    checkpoint(636, 163, 4.68139),
    checkpoint(634, 163, 4.67163),
    checkpoint(631, 163, 4.66259),
    checkpoint(628, 163, 4.65405),
    checkpoint(625, 162, 4.64599),
    checkpoint(622, 162, 4.63842),
    checkpoint(619, 162, 4.63134),
    checkpoint(616, 162, 4.62475),
    checkpoint(613, 162, 4.61865),
    checkpoint(610, 162, 4.61303),
    checkpoint(607, 162, 4.60791),
    checkpoint(604, 162, 4.60327),
    checkpoint(601, 162, 4.59887),
    checkpoint(598, 162, 4.59472),
    checkpoint(595, 162, 4.59082),
    checkpoint(592, 162, 4.58715),
    checkpoint(589, 162, 4.58374),
    checkpoint(587, 162, 4.58227),
    checkpoint(584, 162, 4.58276),
    checkpoint(581, 162, 4.58471),
    checkpoint(578, 162, 4.58813),
    checkpoint(575, 163, 4.59301),
    checkpoint(572, 163, 4.59912),
    checkpoint(569, 163, 4.60644),
    checkpoint(566, 163, 4.61499),
    checkpoint(563, 163, 4.62475),
    checkpoint(560, 163, 4.63549),
    checkpoint(557, 163, 4.64721),
    checkpoint(554, 164, 4.65991),
    checkpoint(551, 164, 4.67187),
    checkpoint(548, 164, 4.68310),
    checkpoint(545, 164, 4.69360),
    checkpoint(542, 164, 4.70336),
    checkpoint(539, 164, 4.71240),
    checkpoint(536, 164, 4.72094),
    checkpoint(533, 165, 4.72900),
    checkpoint(530, 165, 4.73657),
    checkpoint(528, 165, 4.74365),
    checkpoint(525, 165, 4.75024),
    checkpoint(522, 165, 4.75634),
    checkpoint(519, 165, 4.76196),
    checkpoint(516, 165, 4.76708),
    checkpoint(513, 165, 4.77172),
    checkpoint(510, 165, 4.77612),
    checkpoint(507, 165, 4.78027),
    checkpoint(504, 165, 4.78417),
    checkpoint(501, 165, 4.78784),
    checkpoint(498, 165, 4.79125),
    checkpoint(495, 165, 4.79443),
    checkpoint(492, 165, 4.79736),
    checkpoint(489, 165, 4.80004),
    checkpoint(486, 165, 4.80249),
    checkpoint(483, 165, 4.80297),
    checkpoint(480, 165, 4.80151),
    checkpoint(477, 165, 4.79858),
    checkpoint(474, 165, 4.79418),
    checkpoint(471, 165, 4.78833),
    checkpoint(468, 165, 4.78125),
    checkpoint(465, 164, 4.77294),
    checkpoint(462, 164, 4.76342),
    checkpoint(459, 164, 4.75268),
    checkpoint(456, 164, 4.74096),
    checkpoint(453, 164, 4.72827),
    checkpoint(451, 164, 4.71630),
    checkpoint(448, 164, 4.70507),
    checkpoint(445, 164, 4.69458),
    checkpoint(442, 164, 4.68481),
    checkpoint(439, 164, 4.67578),
    checkpoint(436, 163, 4.66723),
    checkpoint(433, 163, 4.65917),
    checkpoint(430, 163, 4.65161),
    checkpoint(427, 163, 4.64453),
    checkpoint(424, 163, 4.63793),
    checkpoint(421, 163, 4.63183),
    checkpoint(418, 163, 4.62622),
    checkpoint(415, 163, 4.62109),
    checkpoint(412, 163, 4.61645),
    checkpoint(409, 163, 4.61206),
    checkpoint(406, 164, 4.60791),
    checkpoint(403, 164, 4.60400),
    checkpoint(400, 164, 4.60034),
    checkpoint(397, 164, 4.59692),
    checkpoint(394, 164, 4.59375),
    checkpoint(391, 164, 4.59082),
    checkpoint(388, 164, 4.58813),
    checkpoint(385, 164, 4.58569),
    checkpoint(382, 165, 4.58349),
    checkpoint(379, 165, 4.58154),
    checkpoint(376, 165, 4.57812),
    checkpoint(373, 165, 4.57324),
    checkpoint(370, 165, 4.56713),
    checkpoint(367, 165, 4.55981),
    checkpoint(365, 166, 4.55126),
    checkpoint(362, 166, 4.54150),
    checkpoint(359, 166, 4.53076),
    checkpoint(356, 166, 4.51904),
    checkpoint(353, 167, 4.50634),
    checkpoint(350, 167, 4.49267),
    checkpoint(347, 167, 4.47802),
    checkpoint(344, 168, 4.46264),
    checkpoint(341, 168, 4.44653),
    checkpoint(338, 169, 4.42968),
    checkpoint(335, 169, 4.41210),
    checkpoint(332, 169, 4.39379),
    checkpoint(329, 170, 4.37475),
    checkpoint(326, 170, 4.35498),
    checkpoint(323, 171, 4.33471),
    checkpoint(321, 171, 4.31396),
    checkpoint(318, 172, 4.29272),
    checkpoint(315, 173, 4.27099),
    checkpoint(312, 173, 4.24877),
    checkpoint(309, 174, 4.22607),
    checkpoint(306, 175, 4.20288),
    checkpoint(304, 175, 4.17919),
    checkpoint(301, 176, 4.15502),
    checkpoint(298, 177, 4.13208),
    checkpoint(295, 178, 4.11035),
    checkpoint(292, 179, 4.08984),
    checkpoint(290, 180, 4.07055),
    checkpoint(287, 181, 4.05224),
    checkpoint(284, 182, 4.03491),
    checkpoint(282, 183, 4.01855),
    checkpoint(279, 184, 4.00317),
    checkpoint(276, 185, 3.98876),
    checkpoint(274, 187, 3.97509),
    checkpoint(271, 188, 3.96044),
    checkpoint(269, 189, 3.94506),
    checkpoint(266, 190, 3.92895),
    checkpoint(264, 192, 3.91210),
    checkpoint(261, 193, 3.89453),
    checkpoint(259, 195, 3.87622),
    checkpoint(256, 196, 3.85717),
    checkpoint(254, 198, 3.83740),
    checkpoint(252, 199, 3.81713),
    checkpoint(249, 201, 3.79638),
    checkpoint(247, 203, 3.77514),
    checkpoint(245, 204, 3.75512),
    checkpoint(242, 206, 3.73632),
    checkpoint(240, 208, 3.71850),
    checkpoint(238, 209, 3.70166),
    checkpoint(236, 211, 3.68579),
    checkpoint(234, 213, 3.67089),
    checkpoint(232, 215, 3.65698),
    checkpoint(229, 217, 3.64379),
    checkpoint(227, 219, 3.63134),
    checkpoint(225, 221, 3.61962),
    checkpoint(224, 223, 3.60864),
    checkpoint(222, 225, 3.59838),
    checkpoint(220, 227, 3.58886),
    checkpoint(218, 229, 3.57983),
    checkpoint(216, 231, 3.57128),
    checkpoint(214, 234, 3.56323),
    checkpoint(212, 236, 3.55566),
    checkpoint(211, 238, 3.54858),
    checkpoint(209, 240, 3.54199),
    checkpoint(207, 243, 3.53588),
    checkpoint(206, 245, 3.53027),
    checkpoint(204, 247, 3.52514),
    checkpoint(202, 250, 3.52050),
    checkpoint(201, 252, 3.51611),
    checkpoint(199, 254, 3.51196),
    checkpoint(198, 257, 3.50805),
    checkpoint(196, 259, 3.50439),
    checkpoint(195, 262, 3.50097),
    checkpoint(193, 264, 3.49780),
    checkpoint(192, 267, 3.49487),
    checkpoint(191, 269, 3.49218),
    checkpoint(189, 272, 3.48974),
    checkpoint(188, 274, 3.48754),
    checkpoint(186, 277, 3.48388),
    checkpoint(185, 279, 3.47875),
    checkpoint(184, 282, 3.47241),
    checkpoint(182, 284, 3.46484),
    checkpoint(181, 287, 3.45605),
    checkpoint(180, 290, 3.44604),
    checkpoint(179, 292, 3.43505),
    checkpoint(177, 295, 3.42309),
    checkpoint(176, 298, 3.41015),
    checkpoint(175, 300, 3.39624),
    checkpoint(174, 303, 3.38134),
    checkpoint(173, 306, 3.36572),
    checkpoint(172, 308, 3.34936),
    checkpoint(171, 311, 3.33227),
    checkpoint(170, 314, 3.31445),
    checkpoint(169, 316, 3.29760),
    checkpoint(168, 319, 3.28173),
    checkpoint(167, 322, 3.26684),
    checkpoint(166, 325, 3.25292),
    checkpoint(165, 327, 3.23974),
    checkpoint(164, 330, 3.22729),
    checkpoint(163, 333, 3.21557),
    checkpoint(162, 336, 3.20458),
    checkpoint(162, 338, 3.19433),
    checkpoint(161, 341, 3.18481),
    checkpoint(160, 344, 3.17578),
    checkpoint(159, 347, 3.16723),
    checkpoint(159, 350, 3.15917),
    checkpoint(158, 353, 3.15161),
    checkpoint(158, 355, 3.14453),
    checkpoint(157, 358, 3.13793),
    checkpoint(157, 361, 3.13012),
    checkpoint(156, 364, 3.12109),
    checkpoint(156, 367, 3.11083),
    checkpoint(155, 370, 3.09960),
    checkpoint(155, 373, 3.08740),
    checkpoint(154, 375, 3.07421),
    checkpoint(154, 378, 3.06005),
    checkpoint(154, 381, 3.04663),
    checkpoint(154, 384, 3.03393),
    checkpoint(153, 387, 3.02197),
    checkpoint(153, 390, 3.01074),
    checkpoint(153, 393, 3.00024),
    checkpoint(153, 396, 2.99047),
    checkpoint(153, 399, 2.98144),
    checkpoint(153, 401, 2.97290),
    checkpoint(152, 404, 2.96484),
    checkpoint(152, 407, 2.95727),
    checkpoint(152, 410, 2.95019),
    checkpoint(152, 413, 2.94360),
    checkpoint(153, 416, 2.93750),
    checkpoint(153, 419, 2.93188),
    checkpoint(153, 422, 2.92675),
    checkpoint(153, 425, 2.92211),
    checkpoint(153, 428, 2.91943),
    checkpoint(153, 430, 2.91870),
    checkpoint(153, 433, 2.91992),
    checkpoint(154, 436, 2.92),
    checkpoint(154, 439, 2.93),
    checkpoint(154, 442, 2.94),
    checkpoint(154, 445, 2.95),
    checkpoint(154, 448, 2.96),
    checkpoint(154, 451, 2.97),
    checkpoint(154, 454, 2.98),
    checkpoint(154, 457, 2.98),
    checkpoint(154, 460, 2.99),
    checkpoint(154, 462, 2.99),
    checkpoint(154, 465, 3),
    checkpoint(154, 468, 3),
    checkpoint(154, 471, 3),
    checkpoint(154, 474, 3),
    checkpoint(154, 477, 3),
    checkpoint(154, 480, 3.01),
    checkpoint(154, 483, 3.01),
    checkpoint(154, 486, 3.01),
    checkpoint(154, 489, 3.01),
    checkpoint(154, 492, 3.01),
    checkpoint(154, 495, 3.02),
    checkpoint(154, 498, 3.02),
    checkpoint(154, 500, 3.02),
    checkpoint(154, 503, 3.02),
    checkpoint(154, 506, 3.02),
    checkpoint(154, 509, 3.03),
    checkpoint(154, 512, 3.03),
    checkpoint(155, 515, 3.03),
    checkpoint(155, 518, 3.03),
    checkpoint(155, 521, 3.03),
    checkpoint(155, 524, 3.04),
    checkpoint(155, 527, 3.04),
    checkpoint(155, 530, 3.04),
    checkpoint(155, 533, 3.04),
    checkpoint(155, 536, 3.04),
    checkpoint(155, 539, 3.05),
    checkpoint(155, 542, 3.05),
    checkpoint(155, 545, 3.05),
    checkpoint(155, 548, 3.06),
    checkpoint(155, 551, 3.06),
    checkpoint(155, 554, 3.06),
    checkpoint(155, 556, 3.07),
    checkpoint(155, 559, 3.07),
    checkpoint(155, 562, 3.07),
    checkpoint(155, 565, 3.08),
    checkpoint(155, 568, 3.08),
    checkpoint(155, 571, 3.08),
    checkpoint(155, 574, 3.09),
    checkpoint(155, 577, 3.09),
    checkpoint(155, 580, 3.1),
    checkpoint(155, 583, 3.1),
    checkpoint(155, 586, 3.11),
    checkpoint(155, 589, 3.11),
    checkpoint(155, 592, 3.12),
    checkpoint(155, 595, 3.12),
    checkpoint(155, 598, 3.13),
};

}

#endif
